Definition des
... ... ... MixingOperateur (*)
Zerstarten